Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
851	Increasing the Efficiency of Data Mining Algorithms with Breadth-First Marker Propagation Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 02:16:24 Computational statistics Formal sciences Learning Data analysis Cybernetics Hierarchy Decision tree learning Knowledge representation and reasoning Database Machine learning Science Data mining
852	Manifesto from Dagstuhl Perspectives Workshop[removed]Modeling, Analysis, and Verification – The Formal Methods Manifesto 2010 Edited by Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2011-09-30 04:09:55 Software development Formal verification Model checking Formal specification Electronic design automation Specification language Verification and validation Software development process Programming language Formal methods Theoretical computer science Science
853	SINNING IN THE BASEMENT: WHAT ARE THE RULES? THE TEN COMMANDMENTS OF APPLIED ECONOMETRICS Peter E. Kennedy Simon Fraser University Abstract. Unpleasant realities of real-world data force applied econometricians to Add to Reading List Source URL: www.uta.edu Language: English - Date: 2003-08-26 16:49:28 Formal sciences Statistical models Econometric model Data mining Economic model Macroeconomic model Dummy variable Regression analysis Eric Ghysels Statistics Econometrics Economics
854	THE SOFT GRID[removed]: Big Data & Utility Analytics for Smart Grid Research Excerpt A Greentech Media Company Add to Reading List Source URL: www.sas.com Language: English - Date: 2013-05-22 11:02:07 Formal sciences Emerging technologies Business intelligence Electric power transmission systems Transaction processing Analytics Smart grid Big data Greentech Media Technology Data management Data analysis
855	NRL Release Number[removed]What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specication in Formal Cryptographic Protocol Analysis Catherine Meadows Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-26 15:14:05 Information Communications protocol Burrows–Abadi–Needham logic Key-agreement protocol Authentication protocol Dolev-Yao model Protocol Public-key cryptography Station-to-Station protocol Cryptographic protocols Cryptography Data
856	Predictive Analytics (formerly Data-Driven Business Intelligence) _________________________________________________________________________________________________________________________________________________________ Add to Reading List Source URL: www.mccombs.utexas.edu Language: English - Date: 2013-03-12 15:02:46 Data management Business Data analysis Data mining McCombs School of Business SIGKDD Analytics Predictive analytics Business intelligence Formal sciences Statistics
857	Discovering Student Models with a Clustering Algorithm Using Problem Content Nan Li William W. Cohen Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-06-05 09:37:13 Data analysis Formal sciences Cluster analysis Data mining Geostatistics K-means clustering Educational data mining Segmentation N-gram Statistics Science Machine learning
858	1010data listed as a Data Aggregator, Analyzer and Platform Technology Provider in Independent Research Firm’s Report ‘Navigating The New Data Market Landscape’ 1010data Noted for Its “Lightning-Fast, Easy-to-Use Add to Reading List Source URL: www.prweb.com Language: English - Date: 2014-05-22 08:01:38 Data analysis Formal sciences Big data Data modeling Technology development Transaction processing 1010data Data visualization Vocus Technology Data management Information technology management
859	PDF Document Add to Reading List Source URL: d2mtr37y39tpbu.cloudfront.net Language: English - Date: 2014-02-21 15:43:00 Data analysis Business Formal sciences Learning Deloitte Machine learning ADAPA Analytics Data visualization Statistics Business intelligence Science
860	Some wonderful conjectures (but very few theorems) concerning the leading root of some formal power series Alan Sokal New York University / University College London Conference on Hypergeometric Series and their Generali Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2012-05-31 11:23:43 Polynomials Tutte polynomial Explicit formula Analytic number theory Combinatorics Algebraic function Mathematics Mathematical analysis Matroid theory

UPDATE